class Foo { Void f() { switch (3) { default: return; default: return; } } }